Buy Used and New Eerke Boiten Books

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings: 2999 (Lecture Notes in Computer Science)

by Graeme Smith,Eerke Boiten,John Derrick

ISBN 13: 9783540213772

Format: Paperback (560 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Refinement: Semantics, Languages and Applications

by John Derrick,Eerke Boiten

ISBN 13: 9783030064976

Format: Paperback (292 pages)
Publisher: Springer
Published: 25 Jan 2019

Save for later